Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por título: Abstraction, Refinement and Proof for Probabilistic Systems
Se encontró este único registro
 
e-book

Abstraction, Refinement and Proof for Probabilistic Systems

by Annabelle McIver, Carroll Morgan.

New York, NY : Springer Science+Business Media, Inc., 2005.

v.: digital

Serie: Monographs in Computer Science, ISSN 0172-603X

ISBN: 9780387270067

 
Registro springer:978-0-387-40115-7 · Modificado: 22/12/2010

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos